Nuprl Definition : fpf-ap
0,22
postcript
pdf
f
(
x
) == 2of(
f
)(
x
)
latex
clarification:
fpf-ap(
f
;
eq
;
x
) == 2of(
f
)(
x
)
latex
Definitions
2of(
t
)
FDL editor aliases
fpf-ap
origin